/LMAR=0/XLINE=3/FONT#0=BASI30/FONT#1=BASL30/FONT#2=METLB/FONT#3=BASB30



␈↓ α∧␈↓␈↓ ∧F␈↓αThe 1980 LISP Conference

␈↓ α∧␈↓α␈↓ ∧#Stanford, August 25-27, 1980


␈↓ α∧␈↓␈↓βInvited Address: 9:00 to 9:30, August 25, 1980
␈↓ α∧␈↓β␈↓↓John McCarthy, Stanford University  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .


␈↓ α∧␈↓↓␈↓βSession 1: 9:30 to 10:20, August 25, 1980          Chaired by Richard Fateman, U. C. 

␈↓ α∧␈↓β␈↓Symbolic Computing with and without LISP  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓J. Campbell, University of Exeter and J. Fitch, University of Bath

␈↓ α∧␈↓↓␈↓Prose and CONS - Multics Emacs: A Commercial Text-processing System in LISP . . .
␈↓ α∧␈↓␈↓↓B. Greenberg, Honeywell


␈↓ α∧␈↓↓␈↓βSession 2: 10:45 to 12:00, August 25, 1980          Chaired by Daniel Friedman, Indi

␈↓ α∧␈↓β␈↓Explicit Parallelism in LISP-like Languages  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓G. Prini, University of Pisa

␈↓ α∧␈↓↓␈↓Continuation-Based Multiprocessing   . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 
␈↓ α∧␈↓␈↓↓M. Wand, Indiana University

␈↓ α∧␈↓↓␈↓MULTI - A LISP Based Multiprocessing System  . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓D. McKay and S. Shapiro, SUNY at Buffalo


␈↓ α∧␈↓↓␈↓βSession 3: 1:30 to 3:10, August 25, 1980          Chaired by Carolyn Talcott, Stanfor

␈↓ α∧␈↓β␈↓The Function-Class . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓T. Kurokawa, Japan

␈↓ α∧␈↓↓␈↓A Constructive Alternative to Axiomatic Data Type Definitions  . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓R. Cartwright, Cornell University

␈↓ α∧␈↓↓␈↓A Semantic Comparison of LISP and SCHEME . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓S. Muchnick, UC Berkeley  and U. Pleban, University of Kansas

␈↓ α∧␈↓↓␈↓MODLISP  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓J. Davenport and  R. Jenks, IBM


␈↓ α∧␈↓↓␈↓βSession 4: 3:45 to 5:00, August 25, 1980          Chaired by Alan Kay, Xerox PARC



␈↓ α∧␈↓β␈↓Extending Object Oriented Programming in Smalltalk . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓I. Goldstein and D. Bobrow, Xerox PARC

␈↓ α∧␈↓↓␈↓A System of Communicating Residential Environments . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓E. Sandewall, H. Sorenson, and C. Stromberg, Linkoping

␈↓ α∧␈↓↓␈↓A Session with Tinker: Interleaving Program Testing with Program Writing  . . . . . . .
␈↓ α∧␈↓␈↓↓H. Lieberman and C. Hewitt, MIT


␈↓ α∧␈↓↓␈↓βSession 5: 9:00 to 10:15, August 26, 1980          Chaired by David Wise, Indiana Un

␈↓ α∧␈↓β␈↓Computing with Text-Graphics Forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 
␈↓ α∧␈↓␈↓↓F. Lakin, Xerox

␈↓ α∧␈↓↓␈↓Design of the APIARY for Actor Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓C. Hewitt, MIT

␈↓ α∧␈↓↓␈↓Address/Memory Management for a Gigantic LISP Environment  . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓J. White, MIT


␈↓ α∧␈↓↓␈↓βSession 6: 10:45 to 12:00, August 26, 1980          Chaired by Carl Hewitt, MIT

␈↓ α∧␈↓β␈↓SKIM - The S, K, I Reduction Machine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓T. Clarke, P. Gladstone, C. MacLean and A. Norman, Trinity College

␈↓ α∧␈↓↓␈↓HOPE: An Experimental Applicative Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓R. Burstall, D. MacQueen, and D. Sannella, University of Edinburgh

␈↓ α∧␈↓↓␈↓Computing Cyclic List Structures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓L. Morris, Syracuse University and J. Schwarz, Bell Labs


␈↓ α∧␈↓↓␈↓βSession 7: 1:30 to 3:10, August 26, 1980          Chaired by Anthony Hearn, Universi

␈↓ α∧␈↓β␈↓An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped 
␈↓ α∧␈↓␈↓↓D. McDermott, Yale University

␈↓ α∧␈↓↓␈↓The Dream of a Lifetime: A Lazy Variable Extent Mechanism  . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓G. Steele Jr. and G. Sussman, MIT

␈↓ α∧␈↓↓␈↓Strategies for Data Abstraction in LISP  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓B. Steele, MIT

␈↓ α∧␈↓↓␈↓Special Forms in LISP  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 
␈↓ α∧␈↓␈↓↓K. Pitman, MIT



␈↓ α∧␈↓↓␈↓βSession 8: 3:45 to 5:00, August 26, 1980          Chaired by Bruce Anderson, Essex U
␈↓ α∧␈↓β␈↓Panel Discussion



␈↓ α∧␈↓␈↓βSession 9: 8:35 to 10:15, August 27, 1980          Chaired by Gianfranco Prini, Unive

␈↓ α∧␈↓β␈↓Multiprocessing via Intercommunicating LISP Systems  . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓M. Model, Brandeis University

␈↓ α∧␈↓↓␈↓Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems  . . . . 
␈↓ α∧␈↓␈↓↓R. Keller, University of Utah

␈↓ α∧␈↓↓␈↓Compilation Techniques for a Control-Flow Concurrent LISP System . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓J. Marti, University of Utah

␈↓ α∧␈↓↓␈↓On Compiling Embedded Languages in LISP  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 
␈↓ α∧␈↓␈↓↓P. Emanuelson and A. Haraldsson, Linkoping


␈↓ α∧␈↓↓␈↓βSession 10: 10:45 to 12:25, August 27, 1980          Chaired by Eiichi Goto, Universit

␈↓ α∧␈↓β␈↓A LISP Compiler Producing Compact Code   . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓W. Rowan, UC San Francisco

␈↓ α∧␈↓↓␈↓Local Optimization in a Compiler for Stack-based LISP Machines   . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓L. Masinter and L. P. Deutsch, Xerox PARC

␈↓ α∧␈↓↓␈↓ByteLisp and its Alto Implementation   . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 
␈↓ α∧␈↓␈↓↓L. P. Deutsch, Xerox PARC

␈↓ α∧␈↓↓␈↓Overview and Status of DoradoLISP  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
␈↓ α∧␈↓␈↓↓R. Burton, L. Masinter, D. Bobrow, W. Haugeland, R. Kaplan, and B. Sheil, Xerox 








␈↓ α∧␈↓βU. C. Berkeley

␈↓ α∧␈↓βIndiana University


␈↓ α∧␈↓βIndiana University



␈↓ α∧␈↓βU. C. Berkeley


␈↓ α∧␈↓βUniversity of Pisa


␈↓ α∧␈↓βUniversity of Tokyo


␈↓ α∧␈↓βUniversity of Utah


␈↓ α∧␈↓βEssex University


␈↓ α∧␈↓βStanford University

␈↓ α∧␈↓β␈↓ Lexically-Scoped LISP